
Empty original changeset by sperber:
Subject: Set svn:ignore property on doc/src [s48-tuebingen @ 916]

There were just too many generated files in this directory.

